681. Learn to Tango with
پدیدآورنده: / Kris Macleod Bell ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Tango (Computer file),Computer programming.,Programming languages (Electronic computers)
رده :
QA
,
76
.
7
,.
L43
,
2007eb
682. Learn to Tango with D
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Tango (Computer file) ; Computer programming. ; Programming languages (Electronic computers) ;
683. Learn you some Erlang for great good!
پدیدآورنده: Fred Hebert
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: ERLANG (Computer program language),Programming languages (Electronic computers)
رده :
QA76
.
73
.
E75
H43
2013
684. Learning SQL
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: SQL (Computer program language) ; Database design ; Database management ; Programming languages (Electronic computers) ; Programming Languages ;
685. Learning regular expressions /
پدیدآورنده: Ben Forta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming.,Programming languages (Electronic computers),Regular expressions (Computer science),Computer programming.,Programming languages (Electronic computers),Text processing (Computer science)
رده :
QA76
.
9
.
T48
686. Learning robotics using Python :
پدیدآورنده: Lentin Joseph
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Automation,Programming languages (Electronic computers),Python (Computer program language),Robotics
رده :
TJ211
687. Les Langages de programmation
پدیدآورنده: / Baudoin Drieux, Christian Carrez
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Programming languages (Electronic computers)
رده :
001
.
6424
Dr-L
688. Les langages de programmation en parallele
پدیدآورنده: / par Philippe Dupont et Yves Tallineau
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers)
رده :
QA
76
.
5
.
D8
689. Les mathematiques a la portee de l'ordinateur
پدیدآورنده: / Pref de J. Kuntzmann
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Automatic theorem proving,Logic, Symbolic and mathematical,Programming languages (Electronic computers)
رده :
Q
335
.
A75
690. Les ordinateurs et leurs langages
پدیدآورنده: / par Jacques Deghilage, Michel Knopp et Xavier de Talance
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers,Programming languages (Electronic computers)
رده :
QA
76
.
5
.
D38
691. Logic and specifiction
پدیدآورنده: Middelburg, Cornelis A
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Programming languages (Electronic computers)- Semantics►Software engineering►Logic, Symbolic and mathematical
رده :
76
.
7
.
M53
692. Logic, language, and computation
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
693. Logic, language, and computation
پدیدآورنده: / Balder D. ten Cate, Henk W. Zeevat (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses
رده :
QA
,
76
.
9
,.
L63
,
I565
,
2005
694. Logic, language, and computation :
پدیدآورنده: Nick Bezhanishvili [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
695. Logic, language, and computation
پدیدآورنده: \ [edited by] Martin Aher...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
696. Logic of Domains
پدیدآورنده: Guo-Qiang Zhang
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
697. Logic of domains
پدیدآورنده: Zhang, Guo-Qiang
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
698. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده: Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
699. Logic programming :
پدیدآورنده: James H. Andrews
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming,Programming languages (Electronic computers)-- Semantics,Proof theory
700. Logics of specification languages
پدیدآورنده: Dines Bjrner, Martin C. Henson, editors
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
